Enumeration elementsReversed(final Vector vector) {
  return 
    new Enumeration() {

      int i = vector.size();

      public boolean hasMoreElements() {
	return i > 0;
      }

      public Object nextElement() {
	return vector.elementAt(--i);
      }
    };
}